int kbdopen_nonecho();
int kbdopen_echo();
int kbdclose();
int kbdwrite(pcb *p, void *buffer, int buffer_len);
int kbdread(pcb *p, void *buffer, int buffer_len);
int kbdioctl(pcb *p, unsigned long command, void *args);
int kbdiflush();
void fillbuffer();
